home *** CD-ROM | disk | FTP | other *** search
/ Chip 2007 January, February, March & April / Chip-Cover-CD-2007-02.iso / Pakiet internetowy / Przegladarki internetowe / Mozilla Seamonkey 1.0.5 pl / seamonkey-1.0.5.pl-PL.win32.installer.exe / VENKMAN.XPI / bin / chrome / venkman.jar / content / venkman / venkman-jsdurl.js < prev    next >
Encoding:
Text File  |  2005-02-27  |  30.9 KB  |  1,029 lines
  1. /* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
  2.  *
  3.  * ***** BEGIN LICENSE BLOCK *****
  4.  * Version: MPL 1.1/GPL 2.0/LGPL 2.1
  5.  *
  6.  * The contents of this file are subject to the Mozilla Public License Version
  7.  * 1.1 (the "License"); you may not use this file except in compliance with
  8.  * the License. You may obtain a copy of the License at
  9.  * http://www.mozilla.org/MPL/
  10.  *
  11.  * Software distributed under the License is distributed on an "AS IS" basis,
  12.  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
  13.  * for the specific language governing rights and limitations under the
  14.  * License.
  15.  *
  16.  * The Original Code is The JavaScript Debugger.
  17.  *
  18.  * The Initial Developer of the Original Code is
  19.  * Netscape Communications Corporation.
  20.  * Portions created by the Initial Developer are Copyright (C) 1998
  21.  * the Initial Developer. All Rights Reserved.
  22.  *
  23.  * Contributor(s):
  24.  *   Robert Ginda, <rginda@netscape.com>, original author
  25.  *
  26.  * Alternatively, the contents of this file may be used under the terms of
  27.  * either the GNU General Public License Version 2 or later (the "GPL"), or
  28.  * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
  29.  * in which case the provisions of the GPL or the LGPL are applicable instead
  30.  * of those above. If you wish to allow use of your version of this file only
  31.  * under the terms of either the GPL or the LGPL, and not to allow others to
  32.  * use your version of this file under the terms of the MPL, indicate your
  33.  * decision by deleting the provisions above and replace them with the notice
  34.  * and other provisions required by the GPL or the LGPL. If you do not delete
  35.  * the provisions above, a recipient may use your version of this file under
  36.  * the terms of any one of the MPL, the GPL or the LGPL.
  37.  *
  38.  * ***** END LICENSE BLOCK ***** */
  39.  
  40. const JSD_URL_SCHEME       = "x-jsd:";
  41. const JSD_URL_PREFIX       = /x-jsd:/i;
  42. const JSD_SCHEME_LEN       = JSD_URL_SCHEME.length;
  43.  
  44. const JSD_SERVICE_HELP     = "help";
  45. const JSD_SERVICE_SOURCE   = "source";
  46. const JSD_SERVICE_PPRINT   = "pprint";
  47. const JSD_SERVICE_PPBUFFER = "ppbuffer";
  48.  
  49. function initJSDURL()
  50. {   
  51.     var prefs =
  52.         [
  53.          ["services.help.css", "chrome://venkman/skin/venkman-help.css"],
  54.          ["services.help.template", "chrome://venkman/locale/venkman-help.tpl"],
  55.          ["services.source.css", "chrome://venkman/skin/venkman-source.css"],
  56.          ["services.source.colorize", true],
  57.          ["services.source.colorizeLimit", 1500]
  58.         ];
  59.  
  60.     console.prefManager.addPrefs(prefs);
  61. }
  62.  
  63. /*
  64.  * x-jsd:<service>[?[<property>=<value>[(&<property>=<value>) ...]]][#anchor]
  65.  *
  66.  * <service> is one of...
  67.  *
  68.  *   x-jsd:help   - Help system
  69.  *                   properties are:
  70.  *                     search   - text to search for
  71.  *                     within   - bitmap of fields to search within
  72.  *                                 0x01 - search in command names
  73.  *                                 0x02 - search in ui labels
  74.  *                                 0x04 - search in help text
  75.  *
  76.  *   x-jsd:source - Source text
  77.  *                   properties are:
  78.  *                     url      - source url
  79.  *                     instance - index of source instance
  80.  *
  81.  *   x-jsd:pprint - Pretty Printed source text
  82.  *                   properties are:
  83.  *                     script   - tag of script to pretty print
  84.  *
  85.  *   x-jsd:ppbuffer - URL of a function created internally for pretty printing.
  86.  *                    You may come across this in jsdIScript objects, but it
  87.  *                    should not be used elsewhere.
  88.  *                     properties are:
  89.  *                      type - "function" or "script"
  90.  */
  91.  
  92. console.parseJSDURL = parseJSDURL;
  93. function parseJSDURL (url)
  94. {
  95.     var ary;
  96.     
  97.     if (url.search(JSD_URL_PREFIX) != 0)
  98.         return null;
  99.     
  100.     ary = url.substr(JSD_SCHEME_LEN).match(/([^?#]+)(?:\?(.*))?/);
  101.     if (!ary)
  102.         return null;
  103.  
  104.     var parseResult = new Object();
  105.     parseResult.spec = url;
  106.     parseResult.service = ary[1].toLowerCase();
  107.     var rest = ary[2];
  108.     if (rest)
  109.     {
  110.         ary = rest.match(/([^&#]+)/);
  111.  
  112.         while (ary)
  113.         {
  114.             rest = RegExp.rightContext.substr(1);
  115.             var assignment = ary[1];
  116.             ary = assignment.match(/(.+)=(.*)/);
  117.             if (ASSERT(ary, "error parsing ``" + assignment + "'' from " + url))
  118.             {
  119.                 var name = decodeURIComponent(ary[1]);
  120.                 /* only set the property the first time we see it */
  121.                 if (arrayHasElementAt(ary, 2) && !(name in parseResult))
  122.                     parseResult[name] = decodeURIComponent(ary[2]);
  123.             }
  124.             ary = rest.match(/([^&#]+)/);
  125.         }
  126.     }
  127.     
  128.     //dd (dumpObjectTree(parseResult));
  129.     return parseResult;
  130. }
  131.  
  132. console.loadServiceTemplate =
  133. function con_loadservicetpl (name, sections, callback)
  134. {
  135.     function onComplete (data, url, status)
  136.     {
  137.         if (status == Components.results.NS_OK)
  138.         {
  139.             var tpl = parseSections (data, sections);
  140.             for (var p in sections)
  141.             {
  142.                 if (!(p in tpl))
  143.                 {
  144.                     display (getMsg (MSN_ERR_NO_SECTION, [sections[p], url]),
  145.                              MT_ERROR);
  146.                     callback(name, Components.results.NS_ERROR_FAILURE);
  147.                     return;
  148.                 }
  149.             }
  150.             console.serviceTemplates[name] = tpl;
  151.         }
  152.         callback(name, status);
  153.     };
  154.         
  155.     if (name in console.serviceTemplates)
  156.     {
  157.         callback(name, Components.results.NS_OK);
  158.         return;
  159.     }
  160.  
  161.     var prefName = "services." + name + ".template";
  162.     if (!(prefName in console.prefs))
  163.     {
  164.         display (getMsg (MSN_ERR_NO_TEMPLATE, prefName), MT_ERROR);
  165.         callback(name, Components.results.NS_ERROR_FILE_NOT_FOUND);
  166.         return;
  167.     }
  168.     
  169.     var url = console.prefs[prefName];
  170.     loadURLAsync (url, { onComplete: onComplete });
  171. }
  172.         
  173. console.asyncOpenJSDURL = asyncOpenJSDURL;
  174. function asyncOpenJSDURL (channel, streamListener, context)
  175. {    
  176.     function onTemplateLoaded (name, status)
  177.     {
  178.         if (status != Components.results.NS_OK)
  179.         {
  180.             response.start();
  181.             response.append(getMsg(MSN_JSDURL_ERRPAGE,
  182.                                    [safeHTML(url),
  183.                                     getMsg(MSN_ERR_JSDURL_TEMPLATE, name)]));
  184.             response.end();
  185.         }
  186.         else
  187.         {
  188.             tryService();
  189.         }
  190.     };
  191.     
  192.     function tryService ()
  193.     {
  194.         var serviceObject = console.services[service];
  195.         if ("requiredTemplates" in serviceObject)
  196.         {
  197.             for (var i = 0; i < serviceObject.requiredTemplates.length; ++i)
  198.             {
  199.                 var def = serviceObject.requiredTemplates[i];
  200.                 if (!(def[0] in console.serviceTemplates))
  201.                 {
  202.                     console.loadServiceTemplate (def[0], def[1],
  203.                                                  onTemplateLoaded);
  204.                     return;
  205.                 }
  206.             }                
  207.         }
  208.  
  209.         console.services[service](response, parseResult);
  210.     };
  211.  
  212.     var url = channel.URI.spec;
  213.     var response = new JSDResponse (channel, streamListener, context);
  214.     var parseResult = parseJSDURL (url);
  215.     if (!parseResult)
  216.     {
  217.         response.start();
  218.         response.append(getMsg(MSN_JSDURL_ERRPAGE, [safeHTML(url),
  219.                                                     MSG_ERR_JSDURL_PARSE]));
  220.         response.end();
  221.         return;
  222.     }
  223.  
  224.     var service = parseResult.service.toLowerCase();
  225.     if (!(service in console.services))
  226.         service = "unknown";
  227.  
  228.     tryService();
  229. }
  230.  
  231. console.serviceTemplates = new Object();
  232. console.services = new Object();
  233.  
  234. console.services["unknown"] =
  235. function svc_nosource (response, parsedURL)
  236. {
  237.     response.start();
  238.     response.append(getMsg(MSN_JSDURL_ERRPAGE, [safeHTML(parsedURL.spec),
  239.                                                 MSG_ERR_JSDURL_NOSERVICE]));
  240.     response.end();
  241. }
  242.  
  243. console.services["ppbuffer"] =
  244. function svc_nosource (response)
  245. {
  246.     response.start();
  247.     response.append(getMsg(MSN_JSDURL_ERRPAGE, [safeHTML(parsedURL.spec),
  248.                                                 MSG_ERR_JSDURL_NOSOURCE]));
  249.     response.end();
  250. }
  251.  
  252. console.services["help"] =
  253. function svc_help (response, parsedURL)
  254. {
  255.     const CHUNK_DELAY = 100;
  256.     const CHUNK_SIZE  = 150;
  257.     
  258.     function processHelpChunk (start)
  259.     {
  260.         var stop = Math.min (commandList.length, start + CHUNK_SIZE);
  261.  
  262.         for (var i = start; i < stop; ++i)
  263.         {
  264.             command = commandList[i];
  265.             if (!("htmlHelp" in command))
  266.             {
  267.                 function replaceBold (str, p1)
  268.                 {
  269.                     return "<b>" + p1 + "</b>";
  270.                 };
  271.                 
  272.                 function replaceParam (str, p1)
  273.                 {
  274.                     return "<<span class='param'>" + p1 + "</span>>";
  275.                 };
  276.                 
  277.                 function replaceCommand (str, p1)
  278.                 {
  279.                     if (p1.indexOf(" ") != -1)
  280.                     {
  281.                         var ary = p1.split (" ");
  282.                         for (var i = 0; i < ary.length; ++i)
  283.                         {
  284.                             ary[i] = replaceCommand (null, ary[i]);
  285.                         }
  286.  
  287.                         return ary.join (" ");
  288.                     }
  289.                     
  290.                     if (p1 != command.name &&
  291.                         (p1 in console.commandManager.commands))
  292.                     {
  293.                         return ("<a class='command-name' " +
  294.                                 "href='" + JSD_URL_SCHEME + "help?search=" +
  295.                                 p1 + "'>" + p1 + "</a>");
  296.                     }
  297.  
  298.                     return "<tt>" + p1 + "</tt>";
  299.                 };
  300.                     
  301.                 
  302.                 var htmlUsage = command.usage.replace(/<([^\s>]+)>/g,
  303.                                                       replaceParam);
  304.                 var htmlDesc = command.help.replace(/<([^\s>]+)>/g,
  305.                                                     replaceParam);
  306.                 htmlDesc = htmlDesc.replace (/\*([^\*]+)\*/g, replaceBold);
  307.                 htmlDesc = htmlDesc.replace (/\|([^\|]+)\|/g, replaceCommand);
  308.  
  309.                 // remove trailing access key (non en-US locales) and ...
  310.                 var trimmedLabel = 
  311.                     command.labelstr.replace(/(\([a-zA-Z]\))?(\.\.\.)?$/, "");
  312.  
  313.                 vars = {
  314.                     "\\$command-name": command.name,
  315.                     "\\$ui-label-safe": encodeURIComponent(trimmedLabel),
  316.                     "\\$ui-label": fromUnicode(command.labelstr,
  317.                                                MSG_REPORT_CHARSET),
  318.                     "\\$params": fromUnicode(htmlUsage, MSG_REPORT_CHARSET),
  319.                     "\\$key": command.keystr,
  320.                     "\\$desc": fromUnicode(htmlDesc, MSG_REPORT_CHARSET)
  321.                 };
  322.                 
  323.                 command.htmlHelp = replaceStrings (section, vars);
  324.             }
  325.             
  326.             response.append(command.htmlHelp);
  327.         }
  328.  
  329.         if (i != commandList.length)
  330.         {
  331.             setTimeout (processHelpChunk, CHUNK_DELAY, i);
  332.         }
  333.         else
  334.         {
  335.             response.append(tpl["footer"]);
  336.             response.end();
  337.         }
  338.     };
  339.     
  340.     function compare (a, b)
  341.     {
  342.         if (parsedURL.within & WITHIN_LABEL)
  343.         {
  344.             a = a.labelstr.toLowerCase();
  345.             b = b.labelstr.toLowerCase();
  346.         }
  347.         else
  348.         {
  349.             a = a.name;
  350.             b = b.name;
  351.         }    
  352.  
  353.         if (a == b)
  354.             return 0;
  355.  
  356.         if (a > b)
  357.             return 1;
  358.  
  359.         return -1;
  360.     };
  361.     
  362.     var command;
  363.     var commandList = new Array();
  364.     var hasSearched;
  365.     var tpl = console.serviceTemplates["help"];
  366.  
  367.     var WITHIN_NAME     = 0x01;
  368.     var WITHIN_LABEL    = 0x02;
  369.     var WITHIN_DESC     = 0x04;
  370.  
  371.     if ("search" in parsedURL)
  372.     {
  373.         try
  374.         {
  375.             parsedURL.search = new RegExp (parsedURL.search, "i");
  376.         }
  377.         catch (ex)
  378.         {
  379.             response.start();
  380.             response.append(getMsg(MSN_JSDURL_ERRPAGE,
  381.                                    [parsedURL.spec, MSG_ERR_JSDURL_SEARCH]));
  382.             response.end();
  383.             return;
  384.         }
  385.         
  386.         dd ("searching for " + parsedURL.search);
  387.         
  388.         if (!("within" in parsedURL) ||
  389.             !((parsedURL.within = parseInt(parsedURL.within)) & 0x07))
  390.         {
  391.             parsedURL.within = WITHIN_NAME;
  392.         }
  393.         
  394.         for (var c in console.commandManager.commands)
  395.         {
  396.             command = console.commandManager.commands[c];
  397.             if ((parsedURL.within & WITHIN_NAME) &&
  398.                 command.name.search(parsedURL.search) != -1)
  399.             {
  400.                 commandList.push (command);
  401.             }
  402.             else if ((parsedURL.within & WITHIN_LABEL) &&
  403.                      command.labelstr.search(parsedURL.search) != -1)
  404.             {
  405.                 commandList.push (command);
  406.             }
  407.             else if ((parsedURL.within & WITHIN_DESC) &&
  408.                      command.help.search(parsedURL.search) != -1)
  409.             {
  410.                 commandList.push (command);
  411.             }
  412.         }
  413.  
  414.         hasSearched = commandList.length > 0 ? "true" : "false";
  415.     }
  416.     else
  417.     {
  418.         commandList = console.commandManager.list ("", CMD_CONSOLE);
  419.         hasSearched = "false";
  420.     }
  421.  
  422.     commandList.sort(compare);
  423.     
  424.     response.start();
  425.  
  426.     var vars = {
  427.         "\\$css": console.prefs["services.help.css"],
  428.         "\\$match-count": commandList.length,
  429.         "\\$has-searched": hasSearched,
  430.         "\\$report-charset": MSG_REPORT_CHARSET
  431.     };
  432.             
  433.     response.append(replaceStrings(tpl["header"], vars));
  434.  
  435.     if (commandList.length == 0)
  436.     {
  437.         response.append(tpl["nomatch"]);
  438.         response.append(tpl["footer"]);
  439.         response.end();
  440.     }
  441.     else
  442.     {
  443.         var section = tpl["command"];
  444.         processHelpChunk(0)
  445.     }
  446. }
  447.  
  448. console.services["help"].requiredTemplates =
  449. [
  450.  ["help", { "header"  : /@-header-end/mi,
  451.             "command" : /@-command-end/mi,
  452.             "nomatch" : /@-nomatch-end/mi,
  453.             "footer"  : 0 }
  454.  ]
  455. ];
  456.  
  457. const OTHER   = 0;
  458. const COMMENT = 1;
  459. const STRING1 = 2;
  460. const STRING2 = 3;
  461. const WORD    = 4;
  462. const NUMBER  = 5;
  463.  
  464. var keywords = {
  465.     "abstract": 1, "boolean": 1, "break": 1, "byte": 1, "case": 1, "catch": 1,
  466.     "char": 1, "class": 1, "const": 1, "continue": 1, "debugger": 1,
  467.     "default": 1, "delete": 1, "do": 1, "double": 1, "else": 1, "enum": 1,
  468.     "export": 1, "export": 1, "extends": 1, "false": 1, "final": 1,
  469.     "finally": 1, "float": 1, "for": 1, "function": 1, "goto": 1, "if": 1,
  470.     "implements": 1, "import": 1, "in": 1, "instanceof": 1, "int": 1,
  471.     "interface": 1, "long": 1, "native": 1, "new": 1, "null": 1,
  472.     "package": 1, "private": 1, "protected": 1, "public": 1, "return": 1,
  473.     "short": 1, "static": 1, "switch": 1, "synchronized": 1, "this": 1,
  474.     "throw": 1, "throws": 1, "transient": 1, "true": 1, "try": 1,
  475.     "typeof": 1, "var": 1, "void": 1, "while": 1, "with": 1
  476. };
  477.  
  478. var specialChars = /[&<>]/g;
  479.  
  480. var wordStart = /[\w\\\$]/;
  481. var numberStart = /[\d]/;
  482.  
  483. var otherEnd = /[\w\$\"\']|\\|\/\/|\/\*/;
  484. var wordEnd = /[^\w\$]/;
  485. var string1End = /\'/;
  486. var string2End = /\"/;
  487. var commentEnd = /\*\//;
  488. var numberEnd = /[^\d\.]/;
  489.  
  490. function escapeSpecial (p1)
  491. {
  492.     switch (p1)
  493.     {
  494.         case "&":
  495.             return "&";
  496.         case "<":
  497.             return "<";
  498.         case ">":
  499.             return ">";
  500.     }
  501.  
  502.     return p1;
  503. };
  504.     
  505. function escapeSourceLine (line)
  506. {
  507.     return { line: line.replace (specialChars, escapeSpecial),
  508.              previousState: 0 };
  509. }
  510.  
  511. function colorizeSourceLine (line, previousState)
  512. {
  513.     function closePhrase (phrase)
  514.     {
  515.         if (!phrase)
  516.         {
  517.             previousState = OTHER;
  518.             return;
  519.         }
  520.  
  521.         switch (previousState)
  522.         {
  523.             case COMMENT:
  524.                 result += "<c>" + phrase.replace (specialChars, escapeSpecial) +
  525.                     "</c>";
  526.                 break;            
  527.             case STRING1:
  528.             case STRING2:
  529.                 result += "<t>" + phrase.replace (specialChars, escapeSpecial) +
  530.                     "</t>";
  531.                 break;
  532.             case WORD:
  533.                 if (phrase in keywords)
  534.                     result += "<k>" + phrase + "</k>";
  535.                 else
  536.                     result += phrase.replace (specialChars, escapeSpecial);
  537.                 break;
  538.             case OTHER:
  539.                 phrase = phrase.replace (specialChars, escapeSpecial);
  540.                 /* fall through */
  541.             case NUMBER:
  542.                 result += phrase;
  543.                 break;
  544.         }
  545.     };
  546.     
  547.     var result = "";
  548.     var pos;
  549.     var ch, ch2;
  550.     var expr;
  551.     
  552.     while (line.length > 0)
  553.     {
  554.         /* scan a line of text.  |pos| always one *past* the end of the
  555.          * phrase we just scanned. */
  556.  
  557.         switch (previousState)
  558.         {
  559.             case OTHER:
  560.                 /* look for the end of an uncalssified token, like whitespace
  561.                  * or an operator. */
  562.                 pos = line.search (otherEnd);
  563.                 break;
  564.  
  565.             case WORD:
  566.                 /* look for the end of something that qualifies as
  567.                  * an identifier. */
  568.                 pos = line.search(wordEnd);
  569.                 while (pos > -1 && line[pos] == "\\")
  570.                 {
  571.                     /* if we ended with a \ character, then the slash
  572.                      * and the character after it are part of this word.
  573.                      * the characters following may also be part of the
  574.                      * word. */
  575.                     pos += 2;
  576.                     var newPos = line.substr(pos).search(wordEnd);
  577.                     if (newPos > -1)
  578.                         pos += newPos;
  579.                 }
  580.                 break;
  581.  
  582.             case STRING1:
  583.             case STRING2:
  584.                 /* look for the end of a single or double quoted string. */
  585.                 if (previousState == STRING1)
  586.                 {
  587.                     ch = "'";
  588.                     expr = string1End;
  589.                 }
  590.                 else
  591.                 {
  592.                     ch = "\"";
  593.                     expr = string2End;
  594.                 }
  595.  
  596.                 if (line[0] == ch)
  597.                 {
  598.                     pos = 1;
  599.                 }
  600.                 else
  601.                 {
  602.                     pos = line.search (expr);
  603.                     if (pos > 0 && line[pos - 1] == "\\")
  604.                     {
  605.                         /* arg, the quote we found was escaped, fall back
  606.                          * to scanning a character at a time. */
  607.                         var done = false;
  608.                         for (pos = 0; !done && pos < line.length; ++pos)
  609.                         {
  610.                             if (line[pos] == "\\")
  611.                                 ++pos;
  612.                             else if (line[pos] == ch)
  613.                                 done = true;
  614.                         }        
  615.                     }
  616.                     else
  617.                     {
  618.                         if (pos != -1)
  619.                             ++pos;
  620.                     }
  621.                 }
  622.                 break;
  623.  
  624.             case COMMENT:
  625.                 /* look for the end of a slash-star comment,
  626.                  * slash-slash comments are handled down below, because
  627.                  * we know for sure that it's the last phrase on this line.
  628.                  */
  629.                 pos = line.search (commentEnd);
  630.                 if (pos != -1)
  631.                     pos += 2;
  632.                 break;
  633.  
  634.             case NUMBER:
  635.                 /* look for the end of a number */
  636.                 pos = line.search (numberEnd);
  637.                 break; 
  638.         }
  639.  
  640.         if (pos == -1)
  641.         {
  642.             /* couldn't find an end for the current state, close out the 
  643.              * rest of the line.
  644.              */
  645.             closePhrase(line);
  646.             line = "";
  647.         }
  648.         else
  649.         {
  650.             /* pos has a non -1 value, close out what we found, and move
  651.              * along. */
  652.             if (previousState == STRING1 || previousState == STRING2)
  653.             {
  654.                 /* strings are a special case because they actually are
  655.                  * considered to start *after* the leading quote,
  656.                  * and they end *before* the trailing quote. */
  657.                 if (pos == 1)
  658.                 {
  659.                     /* empty string */
  660.                     previousState = OTHER;
  661.                 }
  662.                 else
  663.                 {
  664.                     /* non-empty string, close out the contents of the
  665.                      * string. */
  666.                     closePhrase(line.substr (0, pos - 1));
  667.                     previousState = OTHER;
  668.                 }
  669.  
  670.                 /* close the trailing quote. */
  671.                 result += line[pos - 1];
  672.             }
  673.             else
  674.             {
  675.                 /* non-string phrase, close the whole deal. */
  676.                 closePhrase(line.substr (0, pos));
  677.                 previousState = OTHER;
  678.             }
  679.  
  680.             if (pos)
  681.                 line = line.substr (pos);
  682.         }
  683.  
  684.         if (line)
  685.         {
  686.             /* figure out what the next token looks like. */
  687.             ch = line[0];
  688.             ch2 = (line.length > 1) ? line[1] : "";
  689.             
  690.             if (ch.search (wordStart) == 0)
  691.             {
  692.                 previousState = WORD;
  693.             }
  694.             else if (ch == "'")
  695.             {
  696.                 result += "'";
  697.                 line = line.substr(1);
  698.                 previousState = STRING1;
  699.             }
  700.             else if (ch == "\"")
  701.             {
  702.                 result += "\"";
  703.                 line = line.substr(1);
  704.                 previousState = STRING2;
  705.             }
  706.             else if (ch == "/" && ch2 == "*")
  707.             {
  708.                 previousState = COMMENT;
  709.             }
  710.             else if (ch == "/" && ch2 == "/")
  711.             {
  712.                 /* slash-slash comment, the last thing on this line. */
  713.                 previousState = COMMENT;
  714.                 closePhrase(line);
  715.                 previousState = OTHER;
  716.                 line = "";
  717.             }
  718.             else if (ch.search (numberStart) == 0)
  719.             {
  720.                 previousState = NUMBER;
  721.             }
  722.         }
  723.     }
  724.  
  725.     return { previousState: previousState, line: result };
  726. }
  727.  
  728. console.respondWithSourceText =
  729. function con_respondsourcetext (response, sourceText)
  730. {
  731.     const CHUNK_DELAY = 50;
  732.     const CHUNK_SIZE  = 250;
  733.     var sourceLines = sourceText.lines;
  734.     var resultSource;
  735.     var tenSpaces = "          ";
  736.     var maxDigits;
  737.     
  738.     var previousState = 0;
  739.  
  740.     var mungeLine;
  741.  
  742.     if (console.prefs["services.source.colorize"] && 
  743.         sourceLines.length <= console.prefs["services.source.colorizeLimit"])
  744.     {
  745.         mungeLine = colorizeSourceLine;
  746.     }
  747.     else
  748.     {
  749.         mungeLine = escapeSourceLine;
  750.     }
  751.  
  752.     function processSourceChunk (start)
  753.     {
  754.         dd ("processSourceChunk " + start + " {");
  755.                     
  756.         var stop = Math.min (sourceLines.length, start + CHUNK_SIZE);
  757.         
  758.         for (var i = start; i < stop; ++i)
  759.         {
  760.             var padding;
  761.             if (i != 999)
  762.             {
  763.                 padding =
  764.                     tenSpaces.substr(0, maxDigits -
  765.                                      Math.floor(Math.log(i + 1) / Math.LN10));
  766.             }
  767.             else
  768.             {
  769.                 /* at exactly 1000, a rounding error gets us. */
  770.                 padding = tenSpaces.substr(0, maxDigits - 3);
  771.             }    
  772.  
  773.             var isExecutable;
  774.             var marginContent;
  775.             if ("lineMap" in sourceText && i in sourceText.lineMap)
  776.             {
  777.                 if (sourceText.lineMap[i] & LINE_BREAKABLE)
  778.                 {
  779.                     isExecutable = "t";
  780.                     marginContent = " - ";
  781.                 }
  782.                 else
  783.                 {
  784.                     isExecutable = "f";
  785.                     marginContent = "   ";
  786.                 }
  787.             }
  788.             else
  789.             {
  790.                 isExecutable = "f";
  791.                 marginContent = "   ";
  792.             }
  793.             
  794.             var o = mungeLine(sourceLines[i], previousState);
  795.             var line = o.line;
  796.             previousState = o.previousState;
  797.  
  798.             resultSource += "<line><margin x='" + isExecutable +"'>" +
  799.                 marginContent + "</margin>" +
  800.                 "<num>" + padding + (i + 1) +
  801.                 "</num> " + line + "</line>\n";
  802.                
  803.         }
  804.  
  805.         if (i != sourceLines.length)
  806.         {
  807.             setTimeout (processSourceChunk, CHUNK_DELAY, i);
  808.         }
  809.         else
  810.         {
  811.             resultSource += "</source-listing>";
  812.             //resultSource += "</source-listing></body></html>";
  813.             response.append(resultSource);
  814.             response.end();
  815.             sourceText.markup = resultSource;
  816.             dd ("}");
  817.         }
  818.  
  819.         dd ("}");
  820.     };
  821.     
  822.     if ("charset" in sourceText)
  823.         response.channel.contentCharset = sourceText.charset;
  824.     
  825.     if ("markup" in sourceText)
  826.     {
  827.         response.channel.contentType = "application/xml";
  828.         response.start();
  829.         response.append(sourceText.markup);
  830.         response.end();
  831.     }
  832.     else
  833.     {
  834.         maxDigits = Math.floor(Math.log(sourceLines.length) / Math.LN10) + 1;
  835.         dd ("OFF building response {");
  836.         response.channel.contentType = "application/xml";
  837.         resultSource = "<?xml version='1.0'";
  838.         //        if ("charset" in sourceText)
  839.         //    resultSource += " encoding=\"" + sourceText.charset + "\"";
  840.         resultSource += "?>\n" +
  841.             "<?xml-stylesheet type='text/css' href='" +
  842.             console.prefs["services.source.css"] + "' ?>\n" +
  843.             "<source-listing id='source-listing'>\n";
  844.         
  845.         /*
  846.           resultSource = "<html><head>\n" +
  847.           "<link rel='stylesheet' type='text/css' href='" +
  848.           console.prefs["services.source.css"] + "'><body>\n" +
  849.           "<source-listing id='source-listing'>\n";
  850.         */
  851.         response.start();
  852.         
  853.         processSourceChunk (0);
  854.     }
  855. }
  856.  
  857. console.services["pprint"] =
  858. function svc_pprint (response, parsedURL)
  859. {    
  860.     var err;
  861.     
  862.     if (!("scriptWrapper" in parsedURL))
  863.     {
  864.         err = getMsg(MSN_ERR_REQUIRED_PARAM, "scriptWrapper");
  865.         response.start();
  866.         response.append(getMsg(MSN_JSDURL_ERRPAGE, [safeHTML(parsedURL.spec),
  867.                                                     err]));
  868.         response.end();
  869.         return;
  870.     }
  871.  
  872.     if (!(parsedURL.scriptWrapper in console.scriptWrappers))
  873.     {
  874.         err = getMsg(MSN_ERR_INVALID_PARAM,
  875.                          ["scriptWrapper", parsedURL.scriptWrapper]);
  876.         response.start();
  877.         response.append(getMsg(MSN_JSDURL_ERRPAGE, [safeHTML(parsedURL.spec),
  878.                                                     err]));
  879.         response.end();
  880.         return;
  881.     }
  882.  
  883.     var sourceText = console.scriptWrappers[parsedURL.scriptWrapper].sourceText;
  884.     console.respondWithSourceText (response, sourceText);
  885. }
  886.  
  887. console.services["source"] =
  888. function svc_source (response, parsedURL)
  889. {
  890.     function onSourceTextLoaded (status)
  891.     {
  892.         if (status != Components.results.NS_OK)
  893.         {
  894.             response.start();
  895.             response.append(getMsg(MSN_JSDURL_ERRPAGE,
  896.                                    [safeHTML(parsedURL.spec), status]));
  897.             response.end();
  898.             display (getMsg (MSN_ERR_SOURCE_LOAD_FAILED,
  899.                              [parsedURL.spec, status]),
  900.                      MT_ERROR);
  901.             return;
  902.         }
  903.  
  904.         console.respondWithSourceText (response, sourceText);
  905.     }
  906.  
  907.     if (!("location" in parsedURL) || !parsedURL.location)
  908.     {
  909.         var err = getMsg(MSN_ERR_REQUIRED_PARAM, "location");
  910.         response.start();
  911.         response.append(getMsg(MSN_JSDURL_ERRPAGE, [safeHTML(parsedURL.spec),
  912.                                                     err]));
  913.         response.end();
  914.         return;
  915.     }
  916.         
  917.     var sourceText;
  918.     var targetURL = parsedURL.location;
  919.     
  920.     if (targetURL in console.scriptManagers)
  921.     {
  922.         var scriptManager = console.scriptManagers[targetURL];
  923.         if ("instance" in parsedURL)
  924.         {
  925.             var instance =
  926.                 scriptManager.getInstanceBySequence(parsedURL.instance);
  927.             if (instance)
  928.                 sourceText = instance.sourceText;
  929.         }
  930.         
  931.         if (!sourceText)
  932.             sourceText = scriptManager.sourceText;
  933.     }
  934.     else
  935.     {
  936.         if (targetURL in console.files)
  937.             sourceText = console.files[targetURL];
  938.         else
  939.             sourceText = console.files[targetURL] = new SourceText (targetURL);
  940.     }
  941.  
  942.     if (!sourceText)
  943.     {
  944.         response.start();
  945.         response.append(getMsg(MSN_JSDURL_ERRPAGE, [safeHTML(parsedURL.spec),
  946.                                                     MSG_ERR_JSDURL_SOURCETEXT]));
  947.         response.end();
  948.         return;
  949.     }
  950.  
  951.     if (!sourceText.isLoaded)
  952.         sourceText.loadSource (onSourceTextLoaded);
  953.     else
  954.         onSourceTextLoaded(Components.results.NS_OK);    
  955. }
  956.  
  957. function JSDResponse (channel, streamListener, context)
  958. {
  959.     this.hasStarted     = false;
  960.     this.hasEnded       = false;
  961.     this.channel        = channel;
  962.     this.streamListener = streamListener;
  963.     this.context        = context;
  964. }
  965.  
  966. JSDResponse.prototype.start =
  967. function jsdr_start()
  968. {
  969.     if (!ASSERT(!this.hasStarted, "response already started"))
  970.         return;
  971.     
  972.     this.streamListener.onStartRequest (this.channel, this.context);
  973.     this.hasStarted = true;
  974. }
  975.  
  976. JSDResponse.prototype.append =
  977. function jsdr_append (str)
  978. {
  979.     //dd ("appending\n" + str);
  980.  
  981.     const STRING_STREAM_CTRID = "@mozilla.org/io/string-input-stream;1";
  982.     const nsIStringInputStream = Components.interfaces.nsIStringInputStream;
  983.     const I_LOVE_NECKO = 2152398850;
  984.  
  985.     var clazz = Components.classes[STRING_STREAM_CTRID];
  986.     var stringStream = clazz.createInstance(nsIStringInputStream);
  987.  
  988.     var len = str.length;
  989.     stringStream.setData (str, len);
  990.     try
  991.     {
  992.         this.streamListener.onDataAvailable (this.channel, this.context, 
  993.                                              stringStream, 0, len);
  994.     }
  995.     catch (ex)
  996.     {
  997.         if ("result" in ex && ex.result == I_LOVE_NECKO)
  998.         {
  999.             /* ignore this exception, it means the caller doesn't want the
  1000.              * data, or something.
  1001.              */
  1002.         }
  1003.         else
  1004.         {
  1005.             throw ex;
  1006.         }
  1007.     }
  1008. }
  1009.  
  1010. JSDResponse.prototype.end =
  1011. function jsdr_end ()
  1012. {
  1013.     if (!ASSERT(this.hasStarted, "response hasn't started"))
  1014.         return;
  1015.     
  1016.     if (!ASSERT(!this.hasEnded, "response has already ended"))
  1017.         return;
  1018.     
  1019.     var ok = Components.results.NS_OK;
  1020.     this.streamListener.onStopRequest (this.channel, this.context, ok);
  1021.     if (this.channel.loadGroup)
  1022.         this.channel.loadGroup.removeRequest (this.channel, null, ok);
  1023.     else
  1024.         dd ("channel had no load group");
  1025.     this.channel._isPending = false;
  1026.     this.hasEnded = true;
  1027.     //dd ("response ended");
  1028. }
  1029.